@(message: String)

@main("Othello") {
	
}
